Metamath Blueprint : Triangle Congruences

Definition df-leag

Formalized
Definition 11.27 of [Schwabhauser] p. 102.

Definition of the geometrical "angle less than" relation